A Logic Programming Language for Multi-Agent Systems Stefania Costantini Arianna Tocchio Universita` degli Studi di L’Aquila Dipartimento di Informatica

Source URL: costantini.di.univaq.it

WHIRL in ProbLog Wannes Meert, Anton Dries, Angelika Kimmig KU Leuven, Belgium Abstract

Source URL: lirias.kuleuven.be

• Datalog
• Logic programming
• Non-classical logic
• Prolog
• Inference
• Ranking
• Probabilistic logic
• Clause

Abductive Logic Programming for Datalog± ontologies Marco Gavanelli1 , Evelina Lamma1 , Fabrizio Riguzzi2 , Elena Bellodi1 , Riccardo Zese1 , and Giuseppe Cota1 1

Source URL: ceur-ws.org

Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f

Source URL: www.cs.princeton.edu

• Software engineering
• Programming language theory
• Theoretical computer science
• C++
• Logic in computer science
• Proof assistants
• Data types
• SHA-2
• Formal verification
• Separation logic
• Coq
• Functional programming

Microsoft Word - writproj_title.doc

Source URL: www.cs.sjsu.edu

• Proof assistants
• Software
• Programming language theory
• Functional languages
• Type theory
• Coq
• Agda
• Theorem
• Metamath
• Coenzyme Q10
• Mathematical proof
• Mathematical logic

Delphin: Functional Programming with Deductive Systems Richard Fontana Department of Computer Science

Source URL: www.itu.dk

• Logic
• Declarative programming
• Software engineering
• Symbol
• Standard ML
• Substitution
• Model theory

Towards Verification of Java Bytecode using Logic Programming Tools E. Albert1 , M. G´ omez-Zamalloa1 , L. Hubert2 , and G. Puebla2 1

Source URL: www.trebuh.net

9. References. 1. The Axiomatic Translation Principle for Modal LogicSchmidt, R. and Hustadt, U. Transactions on Computational Logic, C Programming: A Modern ApproachKing, K. Norton & Co. 3. Ja

Source URL: project.kjsmith.net

The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL

Source URL: adam.chlipala.net

• Software engineering
• Theoretical computer science
• Computer programming
• Formal methods
• Logic in computer science
• Macro
• Hoare logic
• Assertion
• Separation logic
• C preprocessor
• Postcondition
• Assembly language

An Equivalence-Preserving CPS Translation via Multi-Language Semantics ∗ Amal Ahmed Matthias Blume

Source URL: www.ccs.neu.edu

• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Valuation
• Generalised Whitehead product
• Symbol